Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
611	Checking Format Compatibility of Programs Using Automata By Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-08-30 17:27:11 Finite-state machine Stephen Cole Kleene Computing Logic Science Automata theory Models of computation XFA
612	Predictive Publish/Subscribe Matching Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-03-10 13:50:19 Automata theory Digital electronics Models of computation Markov chain Finite-state machine Subscription business model SIMPLE Algorithm PP Theoretical computer science Applied mathematics Markov models
613	A CASE Tool for Robot Behavior Development A. Topalidou-Kyniazopoulou1 , N. I. Spanoudakis2 , and M. G. Lagoudakis1 1 Add to Reading List Source URL: users.isc.tuc.gr Language: English - Date: 2012-04-23 04:18:35 Computing UML diagrams Diagrams Theoretical computer science Digital electronics State diagram Finite-state machine C I-Logix Models of computation Software engineering Automata theory
614	Science of Computer North-Holland Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2006-09-23 14:14:53 Digital electronics Diagrams UML diagrams Structure Finite-state machine State diagram Higraph Computing Reactive system Models of computation Automata theory Theoretical computer science
615	F Finite State Automata A ﬁnite automaton (FA, also called a ﬁnite-state automaton or a ﬁnite-state machine) is a mathematical tool used to describe processes involving inputs and outputs. An FA can be in one of several states and can switch between states depending Add to Reading List Source URL: www.davidsalomon.name Language: English - Date: 2004-09-09 19:53:48 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite-state machine Theory of computation Regular expression Alphabet Regular language Automata theory Formal languages Combinatorics
616	Finite Automata and Their Decision Proble’ms# Abstract: Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 10:35:52 Applied mathematics Equivalence relation Nondeterministic finite automaton Regular language FO Sheaf Semigroup Model theory Tree automaton Automata theory Theoretical computer science Mathematics
617	International Journal of Foundations of Computer Science c World Scientific Publishing Company Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:24 Formal languages Mathematics Finite state transducer Formal methods Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
618	MINIMALIST: An Environment for the Synthesis, Veri cation and Testability of Burst-Mode Asynchronous Machines Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2001-02-12 18:19:59 Automata theory Finite-state machine Combinational logic Asynchronous circuit High-level synthesis Electronic engineering Digital electronics Electronic design automation
619	Notes on Formal Language Theory and Parsing Add to Reading List Source URL: www.cs.may.ie Language: English - Date: 2009-03-18 06:58:13 Applied mathematics Nondeterministic finite automaton Powerset construction Regular expression Regular language Finite-state machine LR parser LL parser Pushdown automaton Automata theory Theoretical computer science Computer science
620	Free University of Bolzano–Formal Languages and Compilers. Lecture IV, [removed] – A.Artale Formal Languages and Compilers Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2012-10-18 11:15:06 Models of computation Computer science Applied mathematics Regular expression Nondeterministic finite automaton Deterministic finite automaton Regular language Finite-state machine Formal grammar Automata theory Formal languages Theoretical computer science

UPDATE